Egon Börger: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (44)
Most Popular
List
- List
- Table

1

Abstract state machines A method for high level system design and analysis

Abstract state machines A method for high level system design and analysis

Egon Börger, Robert Stärk

Year:

2003

Language:

english

File:

PDF, 22.25 MB

0 / 0

english, 2003

2

High Level System Design and Analysis using Abstract State Machines

High Level System Design and Analysis using Abstract State Machines

Language:

english

File:

PDF, 399 KB

0 / 0

english

3

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)

Year:

1993

Language:

english

File:

DJVU, 2.95 MB

0 / 0

english, 1993

4

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim (eds.)

Year:

2007

Language:

english

File:

PDF, 13.05 MB

0 / 0

english, 2007

5

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)

Year:

1984

Language:

english

File:

PDF, 5.49 MB

0 / 0

english, 1984

6

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)

Year:

2009

Language:

english

File:

PDF, 4.61 MB

0 / 0

english, 2009

7

S-BPM ONE – Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

S-BPM ONE – Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Christian Stary (eds.)

Year:

2012

Language:

english

File:

PDF, 7.80 MB

0 / 0

english, 2012

8

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Year:

1994

Language:

english

File:

DJVU, 2.87 MB

0 / 0

english, 1994

9

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)

Year:

2009

Language:

english

File:

PDF, 4.56 MB

0 / 0

english, 2009

10

Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Branislav Rovan (eds.)

Year:

1990

Language:

english

File:

DJVU, 5.86 MB

0 / 0

english, 1990

11

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)

Year:

2012

Language:

english

File:

PDF, 8.81 MB

0 / 0

english, 2012

12

Structures of Computing: A Guide to Practice-Oriented Theory

Structures of Computing: A Guide to Practice-Oriented Theory

Egon Börger, Vincenzo Gervasi

Year:

2024

Language:

english

File:

PDF, 6.12 MB

5.0 / 5.0

english, 2024

13

Java and the Java Virtual Machine: Definition, Verification, Validation

Java and the Java Virtual Machine: Definition, Verification, Validation

Robert F. Stärk, Joachim Schmid, Egon Börger

Year:

2001

Language:

english

File:

PDF, 2.38 MB

0 / 0

english, 2001

14

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

Year:

1996

Language:

english

File:

DJVU, 4.81 MB

0 / 0

english, 1996

15

Modeling Companion for Software Practitioners

Modeling Companion for Software Practitioners

Springer Berlin Heidelberg

Egon Börger, Alexander Raschke

Year:

2018

Language:

english

File:

PDF, 4.66 MB

0 / 0

english, 2018

16

Java and the Java Virtual Machine: Definition, Verification, Validation

Java and the Java Virtual Machine: Definition, Verification, Validation

Springer-Verlag Berlin Heidelberg

Prof. Dr. Robert F. Stärk, Dipl.-Inf. Joachim Schmid, Prof. Dr. Egon Börger (auth.)

Year:

2001

Language:

english

File:

PDF, 7.14 MB

0 / 0

english, 2001

17

Subject-Oriented Business Process Management

Subject-Oriented Business Process Management

Springer-Verlag Berlin Heidelberg

Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger

Year:

2012

Language:

english

File:

PDF, 22.95 MB

0 / 0

english, 2012

18

Architecture Design and Validation Methods

Architecture Design and Validation Methods

Springer-Verlag Berlin Heidelberg

Raul Camposano, Andrew Seawright, Joseph Buck (auth.), Prof. Dr. Egon Börger (eds.)

Year:

2000

Language:

english

File:

PDF, 9.56 MB

0 / 0

english, 2000

19

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.), Dieter Rödding (eds.)

Year:

1986

Language:

german

File:

PDF, 14.79 MB

0 / 0

german, 1986

20

The Classical Decision Problem

The Classical Decision Problem

Egon Börger, Erich Gradel, Yuri Gurevich

Year:

1997

Language:

english

File:

DJVU, 5.98 MB

0 / 0

english, 1997

21

The classical decision problem

The classical decision problem

Grädel, Erich, Gurevich, Yuri, Börger, Egon

Year:

1997

Language:

english

File:

DJVU, 4.69 MB

0 / 0

english, 1997

22

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)

Year:

2012

Language:

english

File:

PDF, 10.60 MB

0 / 0

english, 2012

23

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.), Dieter Rödding (eds.)

Year:

1985

Language:

german

File:

PDF, 11.12 MB

0 / 0

german, 1985

24

Computation Theory and Logic

Computation Theory and Logic

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger (eds.)

Year:

1987

Language:

english

File:

DJVU, 4.50 MB

0 / 0

english, 1987

25

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)

Year:

2008

Language:

english

File:

PDF, 3.95 MB

0 / 0

english, 2008

26

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Year:

2008

Language:

english

File:

PDF, 4.83 MB

0 / 0

english, 2008

27

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)

Year:

2012

Language:

english

File:

PDF, 7.55 MB

0 / 0

english, 2012

28

Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Springer Berlin Heidelberg

Egon Börger, Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

Year:

2000

Language:

english

File:

PDF, 3.75 MB

0 / 0

english, 2000

29

Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.)

Year:

1992

Language:

german

File:

PDF, 11.06 MB

0 / 0

german, 1992

30

Subject-Oriented Business Process Management

Subject-Oriented Business Process Management

Albert Fleischmann & Werner J. Schmidt & Christian Stary & Stefan Obermeier & Egon Börger [Fleischmann, Albert & Schmidt, Werner J. & Stary, Christian & Obermeier, Stefan & Börger, Egon]

Year:

2011

Language:

english

File:

EPUB, 15.22 MB

0 / 0

english, 2011

31

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)

Year:

2003

Language:

english

File:

PDF, 3.93 MB

0 / 0

english, 2003

32

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)

Year:

1999

Language:

english

File:

PDF, 21.62 MB

0 / 0

english, 1999

33

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)

Year:

2008

Language:

english

File:

PDF, 3.24 MB

0 / 0

english, 2008

34

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)

Year:

2003

Language:

english

File:

PDF, 24.27 MB

0 / 0

english, 2003

35

Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Springer Berlin Heidelberg

Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)

Year:

2000

Language:

english

File:

PDF, 3.80 MB

0 / 0

english, 2000

36

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)

Year:

2008

Language:

english

File:

PDF, 4.24 MB

0 / 0

english, 2008

37

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Stefan Arnborg, Andrzej Proskurowski, Detlef Seese (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (eds.)

Year:

1991

Language:

english

File:

DJVU, 3.67 MB

0 / 0

english, 1991

38

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Year:

1990

Language:

english

File:

DJVU, 4.21 MB

0 / 0

english, 1990

39

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)

Year:

2012

Language:

english

File:

PDF, 6.61 MB

0 / 0

english, 2012

40

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Year:

2008

Language:

english

File:

PDF, 7.30 MB

0 / 0

english, 2008

41

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Year:

1989

Language:

english

File:

DJVU, 2.87 MB

0 / 0

english, 1989

42

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)

Year:

2008

Language:

english

File:

PDF, 6.43 MB

0 / 0

english, 2008

43

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Year:

1988

Language:

english

File:

DJVU, 3.20 MB

0 / 0

english, 1988

44

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Yaniv Bargury, Johann Makowsky (auth.), Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (eds.)

Year:

1992

Language:

english

File:

DJVU, 3.80 MB

0 / 0

english, 1992